to_big_integer

pure function to_big_integer(): big_integer

Convert this decimal to a big_integer, truncating the fractional part.

Numerically equivalent to decimal.floor(), but with a type conversion.

Since

0.12.0